DITA:effective key definition